Programming from Specifications (Prentice Hall Series in Computer Science)
by Carroll Morgan
ISBN 13: 9780131232747
Format: Paperback (330 pages) Publisher: Prentice-Hall Published: 29 Jun 1994
Save for later
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
by
ISBN 13: 9783642250316
Format: Paperback (205 pages) Publisher: Springer Published: 28 Oct 2011 Other Format: Paperback
Programming Methodology (Monographs in Computer Science)
by Annabelle Mclver,Carroll Morgan
ISBN 13: 9780387953496
Format: Illustrated (488 pages) Publisher: Springer Published: 02 Oct 2002